Using Sat & Ilp Techniques to Solve Enhanced Ilp Formulations of the Clustering Problem in Manets
نویسندگان
چکیده
Improvements over recent years in the performance of Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) solvers have encouraged the modeling of complex engineering problems as ILP. An example is the Clustering Problem in Mobile Ad-Hoc Networks (MANETs). The Clustering Problem in MANETs consists of selecting the most suitable nodes of a given MANET topology as clusterheads, and ensuring that regular nodes are connected to clusterheads such that the lifetime of the network is maximized. This paper proposes enhanced ILP formulations for the Clustering Problem, through the enablement of multi-hop connections and intra-cluster communication, and assesses the performance of state-of-the art generic ILP and SAT solvers in solving the enhanced formulations. Index Terms — Integer Linear Programming, Boolean Satisfiability, Mobile Ad-Hoc Networks, Clustering Problem, Optimization.
منابع مشابه
Solving the University Class Scheduling Problem Using Advanced ILP Techniques
The University Class Scheduling Problem (UCSP) is concerned with assigning a number of courses to classrooms taking into consideration constraints like classroom capacities and university regulations. The problem also attempts to optimize the performance criteria and distribute the courses fairly to classrooms depending on the ratio of classroom capacities to course enrollments. The problem is ...
متن کاملSolving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques
The Employee Timetabling Problem (ETP) is concerned with assigning a number of employees into a given set of shifts over a fixed period of time while meeting the employee’s preferences and organizational work regulations. The problem also attempts to optimize the performance criteria and distribute the shifts equally among the employees. The problem is known to be a complex optimization problem...
متن کاملTwo optimal algorithms for finding bi-directional shortest path design problem in a block layout
In this paper, Shortest Path Design Problem (SPDP) in which the path is incident to all cells is considered. The bi-directional path is one of the known types of configuration of networks for Automated Guided Vehi-cles (AGV).To solve this problem, two algorithms are developed. For each algorithm an Integer Linear Pro-gramming (ILP) is determined. The objective functions of both algorithms are t...
متن کاملCounting Models in Integer Domains
This paper addresses the problem of counting models in integer linear programming (ILP) using Boolean Satisfiability (SAT) techniques, and proposes two approaches to solve this problem. The first approach consists of encoding ILP instances into pseudo-Boolean (PB) instances. Moreover, the paper introduces a model counter for PB constraints, which can be used for counting models in PB as well as...
متن کاملComplexity of Different Ilp Models of the Frequency Assignment Problem
The frequency assignment problem (FAP) arises in wireless communication networks, such as cellular phone communication systems, television broadcasting, WLANs, and military communication systems. In all these applications, the task is to assign frequencies to a set of transmitters, subject to interference constraints. The exact form of the constraints and the objective function vary according t...
متن کامل